Programming languages - PDFSEARCH.IO - Document Search Engine

Programming languages
Results: 18154

#	Item
901	Selectivity Estimation for Fuzzy String Predicates in Large Data Sets∗ Liang Jin Chen Li Add to Reading List Source URL: flamingo.ics.uci.edu Language: English - Date: 2013-04-16 21:54:23 Dynamic programming Quantitative linguistics Formal languages SQL keywords Query optimization SQL Extensible Storage Engine Levenshtein distance XPath String Where FO
902	Deriving Generic Functions by Example Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Data types Functional programming Programming language comparisons Procedural programming languages Cons Lisp List Relational operator Map ALGOL 68 Generalized algebraic data type
903	Running the Observables codes • There are 2 observables codes: HMI_observables and HMI_IQUV_averaging. The executables are in: /home/jsoc/cvs/Development/JSOC/_linux_x86_64/proj/lev1.5_hmi/apps/ and /home/jsoc/cvs/Deve Add to Reading List Source URL: jsoc.stanford.edu Language: English - Date: 2016-01-06 16:12:30 Procedural programming languages Joint Special Operations Command C Interference PROJ.4
904	User Guide to lunix, Comprehensive Unix API Module for Lua William Ahern March 13, 2015 Contents Add to Reading List Source URL: www.25thandclement.com Language: English - Date: 2015-03-13 21:34:37 Object-oriented programming languages Scripting languages Cross-platform software Embedded systems Lua Pontifical Catholic University of Rio de Janeiro Chroot NetBSD Solaris
905	A Practical Optional Type System for Clojure Ambrose Bonnaire-Sergeant Supervised by Rowan Davies This report is submitted as partial fulfilment Add to Reading List Source URL: s3.amazonaws.com Language: English - Date: 2012-12-09 00:09:47 Functional languages Type theory Type systems Scripting languages Cross-platform software Clojure Gradual typing Functional programming Lisp Type inference Dynamic programming language ML
906	Type Specialisation for the -calculus John Hughes Department of Computer Science, Chalmers Technical University, SGoteborg, Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:37 Type theory Procedural programming languages Data types Type systems Lambda calculus Eval Type inference ALGOL 68 Let expression Standard ML
907	SIGACCESS FY’14 Annual Report July 2013 – June 2014 Submitted by: Andrew Sears SIGACCESS continues to refine its activities to meet member needs. This report highlights SIGACCESS Awards as well as the SIG’s confere Add to Reading List Source URL: www.acm.org Language: English - Date: 2014-11-11 12:51:19 Theoretical computer science Edsger W. Dijkstra ACM SIGACT Association for Computing Machinery Symposium on Theory of Computing Symposium on Parallelism in Algorithms and Architectures Symposium on Principles of Distributed Computing Symposium on Computational Geometry ACM-W International Colloquium on Automata Languages and Programming Gdel Prize Symposium on Foundations of Computer Science
908	Posterboards or Java Applets? Andri Ioannidou, Alexander Repenning, John Zola** * Center for LifeLong Learning and Design, Department of Computer Science, University of Colorado at Boulder, Campus Box 430, Boulder, CO Add to Reading List Source URL: www.cs.colorado.edu Language: English - Date: 1999-01-16 23:35:03 Simulation Visual programming languages Scientific modeling AgentSheets Cross-platform software Social simulation Alexander Repenning Web-based simulation Computer simulation Agent-based model Scientific modelling End-user development
909	Curriculum Vitae Vassilis Zikas Assistant Professor, RPI Rensselaer Polytechnic Institute Add to Reading List Source URL: www.cs.rpi.edu Language: English - Date: 2016-01-14 21:49:00 Formal sciences Eurocrypt Ueli Maurer Cryptography International Colloquium on Automata Languages and Programming Theory of Cryptography Conference Jonathan Katz Theoretical computer science International Cryptology Conference LOKI
910	Dancing with Big Data Inferno + Disco Disco • Open Source Map Reduce Platform • 50% Erlang, 50% Python (roughly) Add to Reading List Source URL: www.erlang-factory.com Language: English - Date: 2012-03-30 13:46:57 Cross-platform software Concurrent programming languages Structured storage NoSQL Distributed computing architecture Erlang Couchbase Server Go Chango

UPDATE